An Insight into Commutative Algebra Based Informatics & Computational Architecture for Cryo-EM Image Processing involving Gröbner Bases Using C++/Java/HOL/Scala/Scalalab/ImageJ Software Environments – A Short Communication on Gröbner Bases With Applications in Signals and Systems Using JikesRVM/JVM
ثبت نشده
چکیده
In this research communication on commutative algebra it was proposed to deal with Grobner Bases and its applications in signals and systems domain.This is one of the pioneering communications in dealing with Cryo-EM Image Processing application using multi-disciplinary concepts involving thermodynamics and electromagnetics based on first principles approach. keywords: Commutative Algebra/HOL/Scala/JikesRVM/Cryo-EM Images/CoCoALib/JAS Introduction & Inspiration : Cryo-Electron Microscopy (Cryo-EM) is an expanding structural biology technique that has recently undergone a quantum leap progression in its applicability to the study of challenging nano-bio systems,because crystallization is not required,only small amounts of sample are needed, and because images can be classified using a computer, the technique has the promising potential to deal with compositional as well as conformational mixtures.Cryo-EM can be used to investigate the complete and fully functional macromolecular complexes in different functional states, providing a richness of nano-bio systems insight. In this short communication,pointing to some of the principles behind the Cryo-EM methodology of single particle analysis via references and discussing Grobner bases application to challenging systems of paramount nano-bio importance is interesting. Special emphasis is on new methodological developments that are leading to an explosion of new studies, many of which are reaching resolutions that could only be dreamed of just few years ago.[1-9][Figures I-IV] There are two main challenges facing researchers in Cryo-EM Image Processing : “(1) The first challenge is that the projection images are extremely noisy (due to the low electron dose that can interact with each molecule before it is destroyed). (2) The second is that the orientations of the molecules that produced every image is unknown (unlike crystallography where the molecules are packed in a form of a crystal and therefore share the same known orientation).Overcoming these two challenges are very much principal in the science of CryoEM. “ according to Prof. Hadani. In the context of above mentioned challenges we intend to investigate and suggest Grobner bases to process Cryo-EM Images using Thermodynamics and Electromagnetics principles.The inspiration to write this short communication was derived mainly from the works of Prof.Buchberger and Dr.Rolf Landauer. source : The physical nature of information Rolf Landauer IBM T.J. Watson Research Center, P.O. Box 218. Yorktown Heights, NY 10598, USA . source : Gröbner Bases:A Short Introduction for Systems Theorists -Bruno Buchberger Research Institute for Symbolic Computation University of Linz,A4232 Schloss,Hagenberg,Austria. Additional interesting facts are observed from an article by Jon Cohen : “Structural Biology – Is HighTech View of HIV Too Good To Be True ?”. (http://davidcrowe.ca/SciHealthEnv/papers/9599-IsHighTechViewOfHIVTooGoodToBeTrue.pdf) Researchers are only interested in finding better software tools to refine the cryo-em image processing tasks on hand using all the mathematical tools at their disposal.Commutative Algebra is one such promising tool.Hence the justification for using Grobner Bases. Informatics Framework Design,Implementation & Analysis : Figure I. Mathematical Algorithm Implementation and Software Architecture -Overall Idea presented in the paper.Self Explanatory Graphical Algorithm Please Note : “Understanding JikesRVM in the Context of Cryo-EM/TEM/SEM Imaging Algorithms and Applications – A General Informatics Introduction from a Software Architecture View Point” by Nirmal & Gagik 2016 could be useful. Figure II. Mathematical Algorithm with various Grobner Bases Mathematical Tools/Software.Self Explanatory Graphical Algorithm Figure III.Scala and Java based Software Architecture Flow Self Explanatory Graphical Algorithm Figure IV. Mathematical Algorithm involving EM Field Theory & Thermodynamics Self Explanatory Graphical Algorithm
منابع مشابه
Some applications of Gröbner bases in homological algebra
In this paper we make some computations in homological algebra using Gröbner bases for modules over polynomials rings with coefficients in a Noetherian commutative ring. In particular, we show easy procedures for computing the Ext and Tor modules.
متن کاملAutomated Proving in Geometry using Gröbner Bases in Isabelle/HOL
For several decades, algebraic method have been successfully used in automated deduction in geometry. Objects in Euclidean geometry and relations between them are expressed as polynomials, and algebraic methods (e.g., Gröbner bases) are used over that set of polynomials. We describe a formalization of an algorithm in Isabelle/HOL that accepts a term representation of a geometry construction and...
متن کاملXIDEAL Gröbner Bases for Exterior Algebra
The method of Gröbner bases in commutative polynomial rings introduced by Buchberger (e.g. [1]) is a well-known and very important tool in polynomial ideal theory, for example in solving the ideal membership problem. XIDEAL extends the method to exterior algebras using algorithms from [2] and [3]. There are two main departures from the commutative polynomial case. First, owing to the non-commut...
متن کاملNon-commutative Gröbner Bases for Commutative Algebras
An ideal I in the free associative algebra k〈X1, . . . ,Xn〉 over a field k is shown to have a finite Gröbner basis if the algebra defined by I is commutative; in characteristic 0 and generic coordinates the Gröbner basis may even be constructed by lifting a commutative Gröbner basis and adding commutators.
متن کاملGröbner Basis Representations of Sudoku
Elizabeth Arnold received her B.A. in Government from Georgetown University in 1989, her M.Ed. in Mathematics education in 1993 from George Mason University, and her Ph.D. from the University of Maryland at College Park in 2000. She is currently an assistant professor at James Madison University. Her research area is in computational commutative algebra, in particular applications and algorithm...
متن کامل